Semenov A. A. «ABOUT TSEITIN TRANSFORMATION IN LOGICAL EQUATIONS » // 2009. №4(6) C.28-50
Semenov A. A., Ignatiev A. S. «ALGORITHMS USING ROBDD AS A BASE FORBOOLEAN CONSTRAINTS.» // 2010. №1(7) C.86-104